
-- assertion 3: not tested.
